<html>
<body>
Marks specification for undefined function as error.
</body>
</html>